Reasoning about Dynamic Depth Profiles
نویسندگان
چکیده
Reasoning about perception of depth and about spatial relations between moving physical objects is a challenging problem. We investigate the representation of depth and motion by means of depth profiles whereby each object in the world is represented as a single peak. We propose a logical theory, formulated in the situation calculus (SC), that is used for reasoning about object motion (including motion of the observer). The theory proposed here is comprehensive enough to accommodate reasoning about both sensor data and actions in the world. We show that reasoning about depth profiles is sound and complete with respect to actual motion in the world. This shows that in the conceptual neighbourhood diagram (CND) of all possible depth perceptions, the transitions between perceptions are logical consequences of the proposed theory of depth and motion.
منابع مشابه
Reasoning about Depth and Motion from an Observer's Viewpoint
The goal of this paper is to present a logic-based formalism for representing knowledge about objects in space and their movements, and show how this knowledge could be built up from the viewpoint of an observer immersed in a dynamic world. In this paper space is represented using functions that extract attributes of depth, size and distance from snapshots of the world. These attributes compose...
متن کاملSecondary Students' Dynamic Modeling Processes: Analyzing, Reasoning About, Synthesizing, and Testing Models of Stream Ecosystems
In this paper, we explore dynamic modeling as an opportunity for students to think about the science content they are learning. We examined the "Cognitive Strategies for Modeling" (CSMs) in which students engaged as they created dynamic models. We audioand videotape-recorded eight pairs of ninth grade science students and analyzed their conversations and actions. In analyzing appropriate object...
متن کاملPerceptual Narratives of Space and Motion for Activity Interpretation
We propose a commonsense theory of space and motion for the high-level semantic interpretation of dynamic scenes. The theory provides primitives for commonsense representation and reasoning with qualitative spatial relations, depth profiles, and spatio-temporal change; these may be combined with a learning method (e.g., using hidden markov models) for modelling and hypothesising event and objec...
متن کاملPerceptual Narratives of Space and Motion for Semantic Interpretation of Visual Data
We propose a commonsense theory of space and motion for the high-level semantic interpretation of dynamic scenes. The theory provides primitives for commonsense representation and reasoning with qualitative spatial relations, depth profiles, and spatio-temporal change; these may be combined with probabilistic methods for modelling and hypothesising event and object relations. The proposed frame...
متن کاملStrategies and interactive beliefs in dynamic games
Interactive epistemology in dynamic games studies forms of strategic reasoning like backward and forward induction by means of a formal representation of players’ beliefs about each other, conditional on each history. Work on this topic typically relies on epistemic models where states of the world specify both strategies and beliefs. Strategies are conjunctions of behavioral conditionals of th...
متن کامل